downward logic-transition

负逻辑转换